Sociale netwerken bij Eigen Kracht-conferenties

Cryptanalysis of Hiji-bij-bij (HBB)

In this paper, we show several known-plaintext attacks on the stream cipher HBB which was proposed recently at INDOCRYPT 2003. The cipher can operate either as a classical stream cipher in the “B mode” or as an asynchronous stream cipher in the “SS mode”. In the case of the SS mode, we present known-plaintext attacks recovering 128-bit key with the complexity 2 and 256-bit key with the complexi...

Semantic Characterization of Kracht Formulas

Kracht formulas are first-order correspondents of modal Sahlqvist formulas. In this paper we present a model-theoretic characterization of Kracht formulas similar to Van Benthem’s theorem saying that a first-order formula is equivalent to a modal formula iff it is invariant under bisimulation. Our characterization yields a method to prove that a given first-order formula is not equivalent to an...

Fondo Sociale Europeo

v

Microsoft Word - BIJ-10040

ISSN 2277 5056 | © 2012 Bonfring Abstract--Evaluation of stream flow network in any geographical region has utmost importance for planning, design and management of water resources so as to reduce chances of project failure and also to minimize the economic risk. Setting up and maintaining a streamflow network is an evolutionary process, which is need to be reviewed and upgraded periodically to...

Hiji-bij-bij : A New Stream Cipher with Self-Syn hronizing and MAC Modes of Operation